Llistar TÃtols per Matèria "Planificació numèrica"
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
Numeric planning Satisfiability modulo theories Applied logic Lògica aplicada Planificació automà tica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica 004 - Informà tica
Espasa Arxer, Joan Bofill Arasa, Miquel Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-)